<!-- Dummy file. Must be present to trigger welcome-file handling
     in old Jetty versions. The RootServlet will handle requests
     to this file.
-->